Axioms of set theory - PDFSEARCH.IO - Document Search Engine

Axioms of set theory
Results: 55

#	Item
31	GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in the context of cl Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-02-15 20:06:55 Mathematics Computer science Computable function Recursive set Computation in the limit Generic-case complexity Turing reduction Halting problem Blum axioms Computability theory Theoretical computer science Theory of computation
32	A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] Add to Reading List Source URL: hp.vector.co.jp Language: English - Date: 2004-09-05 11:07:18 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory Constructible universe Axiom of choice First-order logic Axiom Function Mathematical logic Logic Mathematics
33	Tutorial on Axiomatic Set Theory Javier R. Movellan Add to Reading List Source URL: mplab.ucsd.edu Language: English - Date: 2007-07-19 19:21:57 Z notation Axioms of set theory Function Zermelo–Fraenkel set theory First-order logic Constructible universe Axiom of choice Axiom Universal quantification Mathematical logic Logic Mathematics
34	A NATURAL MODEL OF THE MULTIVERSE AXIOMS VICTORIA GITMAN AND JOEL DAVID HAMKINS Add to Reading List Source URL: websupport1.citytech.cuny.edu Language: English - Date: 2010-08-08 09:40:15 Non-standard analysis Model theory Order theory Z notation Zermelo–Fraenkel set theory Forcing Inner model Saturated model Peano axioms Mathematical logic Mathematics Set theory
35	Negative consistent axioms can be postulated without loss of canonicity Thierry Coquand, Nils Anders Danielsson, Mart´ın H¨ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-19 03:17:32 Set theory Z notation Type theory Axiom Mathematical constructivism Model theory Mathematical proof S Intuitionistic type theory Mathematical logic Logic Mathematics
36	Nonstandard Set Theories and Information Management VAROL AKMAN Add to Reading List Source URL: www.cs.bilkent.edu.tr Language: English - Date: 2006-07-04 07:58:01 Axioms of set theory Z notation Urelements Self-reference Zermelo–Fraenkel set theory S Axiom of choice New Foundations Axiom of regularity Mathematical logic Set theory Mathematics
37	Universes in Toposes Thomas STREICHER Fachbereich 4 Mathematik, TU Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-03-25 13:03:23 Axioms of set theory Z notation Sheaf theory Topos Axiom schema of replacement Zermelo–Fraenkel set theory Grothendieck universe Universe Sheaf Mathematical logic Mathematics Set theory
38	Large cardinals and elementary embeddings of V Master thesis of: Add to Reading List Source URL: mpla.math.uoa.gr Language: English - Date: 2012-09-16 17:35:37 Large cardinals Axioms of set theory Determinacy Z notation Constructible universe Absoluteness Reflection principle Axiom schema of replacement Inaccessible cardinal Mathematical logic Set theory Mathematics
39	Math 220 Axioms for set theory Add to Reading List Source URL: www.math.tamu.edu Language: English - Date: 2003-11-16 17:03:44 Axioms of set theory Z notation Axiom of empty set Nothing Axiom of choice Zermelo–Fraenkel set theory Axiom of regularity Axiom of union Axiom of infinity Mathematical logic Mathematics Set theory
40	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. Add to Reading List Source URL: www.er.uqam.ca Language: French - Date: 2011-01-11 05:26:07 Ceteris paribus Axiom schema of specification Pierre Duhem Classical definition of probability Fallacy Axiom of choice Axiom of regularity Axiom of infinity Axiom of extensionality Mathematical logic Set theory Axioms of set theory